Hello @ikitommi , I found a nice ticket open (#111 ) and I wanted to give it a shot. This is a simplified implementation of unwrapping specs created from data-specs. I used multimethods to dispatch to common spec operators, but the current solution is not exhaustive therefore might have some possibilities not covered, need to check this out.

Some drawbacks.

1. The current solution is only working in clj basically because I can't get the function out of symbols in cljs (this situation again). I run the test in cljs and got the following error message for the simpler specs I wrote:

FAIL in (unspecing) (:)
simpler possible specs
expected: (= boolean? (ds/unspec (ds/spec {:name :spec-tools.data-spec-test/t1, :spec boolean?})))
  actual: (not (= #object[cljs$core$boolean_QMARK_] cljs.core/boolean?))

As seems like cljs compile the boolean? function to a js object and I get a Symbol back from resolve macro in cljs.

2. There is also a minor drawback when clojure.specs are used as keys in the data-spec, for example:

(s/def ::age pos-int?)
(ds/spec {:name  ::test :spec ::age) ;; =>  #Spec{:form clojure.core/pos-int?, :type :long, :leaf? true, :name :spec-tools.data-spec/test} 

As we can see the ::age keyword was transformed to a full form as clojure.core/post-int? therefore when I use (ds/unspec (ds/spec {:name ::test :spec ::age})) ;;=> #function[clojure.core/pos-int?]

It works, but is not the same as recovering the full qualified keyword that defined the pos-int? in the first place.

TODO: I would like to present this rationale for the solution to see if is viable in the long run, as well as discuss the unspec arity [I don't see why not only receive the spec itself, idk what kind of parameters would be nice to have as well]. After, I need to implement, ds/opt and ds/req over map keys.

Thanks!